A Grammar-Based Approach to Class Diagram Validation

نویسندگان

  • Faizan Javed
  • Marjan Mernik
  • Barrett R. Bryant
  • Jeff Gray
چکیده

The UML has grown in popularity as the standard modeling language for describing software applications. However, UML lacks the formalism of a rigid semantics, which can lead to ambiguities in understanding the specifications. We propose a grammar-based approach to validating class diagrams and illustrate this technique using a simple case-study. Our technique involves converting UML representations into an equivalent grammar form, and then using existing language transformation and development tools to assist in the validation process. A string comparison metric is also used which provides feedback, allowing the user to modify the original class diagram according to the functionality desired.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Mapping UML Models to Colored Petri Nets Models based on Edged Graph Grammar

This paper presents an approach for transforming UML class diagrams and extended sequence diagrams into Colored Petri Nets. In the field of software model, UML has become a widely used software modeling language. However, as a semi-formal language, UML lacks a precise formal semantic base for its notation. In this paper, Colored Petri Nets are taken as the formal language for UML models' analys...

متن کامل

Comparing confidence-based and conventional scoring methods: The case of an English grammar class

This study aimed at investigating the reliability, predictive validity, and self-esteem and gender bias of confidence-based scoring. This is a method of scoring in which the test takers receive a positive or negative point based on their rating of their confidence in an answer. The participants, who were 49 English-major students taking their grammar course, were given 8 multiple-choice tests d...

متن کامل

A Meta-Modeling and Graph Grammar Approach for Modeling and analysis of e-entrepreneurship systems

UML provides standard abstractions to simplify the documentation, understanding, and maintenance of object oriented complex software systems. UML sequence diagrams are used to describe the behaviors of systems. However, UML is a semi-formal language that lacks tools for analysis and validation of user requirements. In other hand, Petri Nets models are tools for the validation and performance an...

متن کامل

Realizing UML Model Transformations with USE

The USE (UML-based Speci cation Environment) tool has been successfully applied for model validation in the past. In our current work, we are enriching the USE speci cation language with imperative elements. We employ this extension as an assembler to realize UML model (class diagram) transformations with USE in a exible way: UML transformations are described using a custom abstract language ba...

متن کامل

Executable Aspect Oriented Models for Improved Model Testing

Design validation is important for detecting errors early in the development life cycle. Testing the design is one significant means to achieve design validation. In this paper we introduce the KerTheme model. KerTheme provides a means symmetrically decomposing concern based executable class diagrams and concern test scenarios. KerTheme also facilitates simultaneous merging of these decomposed ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005